81. Python for data science /
پدیدآورنده : by Luca Massaron and John Paul Mueller
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Data mining,Data structures (Computer science),Programming languages (Electronic computers),Python (Computer program language)
رده :
QA76
.
73
.
P98


82. RIMS Symposia on Software Science and Engineering II :
پدیدآورنده : edited by Eichi Goto, Keijiro Araki, Taiichi Yuasa.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Programming languages (Electronic computers),Software engineering.
رده :
QA76
.
6
E358
1986


83. Regular expression pocket reference /
پدیدآورنده : Tony Stubblebine
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Programming languages (Electronic computers)-- Syntax,Text processing (Computer science)
رده :
QA76
.
9
.
T48
S78
2007


84. Regular expression pocket reference
پدیدآورنده : \ Tony Stubblebine.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Text processing (Computer science),متنپردازی,a03,a03,Programming languages (Electronic computers)-- Syntax.,زبانهای برنامهنویسی کامپیوتر-- نحو
رده :
QA
76
.
9
.
S7R4
2007
E-Book
,


85. Regular expression pocket reference
پدیدآورنده : Stubblebine, Tony.
کتابخانه: Central Library of Hamedan University of Technology (Hamedan)
موضوع : ، Text processing )Computer science(,Syntax ، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
T48
S78


86. Regular expressions cookbook
پدیدآورنده : \ Jan Goyvaerts and Steven Levithan.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Text processing (Computer science),متنپردازی,a05,a05,Programming languages (Electronic computers), Handbooks, manuals, etc.,Computer programming.,زبان های برنامه نویسی کامپیوتر -- دستنامه ها ,برنامهنویسی
رده :
QA
76
.
7
.
G6R4
2012
E-Book
,


87. Regular expressions cookbook
پدیدآورنده : Jan Goyvaerts, Steven Levithan
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programming,Programming languages (Electronic computers), Handbooks, manuals, etc,Text processing (Computer science)
رده :
QA76
.
7
.
G69
2012


88. Semantics and algebraic specificatio
پدیدآورنده : / Jens Palsberg (ed.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Mosses, Peter.,Programming languages (Electronic computers)--Semantics--Congresses,Computer science--Mathematics--Congresses
رده :
QA
,
76
.
7
,.
S435
,
2009


89. Semantics and algebraic specification
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Mosses, Peter. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Algebraische Spezifikation ; Aufsatzsammlung. ; Formale Methode ; Aufsatzsammlung. ; Programmiersprache ; Semantik ; A

90. Semantics for concurrency : proceedings of the International BCS-FACS Workshop
پدیدآورنده : sponsored by Logic for IT )S.E.R.C.(, 23-25 July 1990, University of Leicester, UK ; )editors( M.Z. Kwiatkowska, M.W. Shields, R.M. Thomas,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Parallel programming )Computer science( - Congresses,Programming languages )Electronic computers( - Semantics - Congresses
رده :
QA
.
I56
76
.
642
1990


91. Semantics of type theory : correctness, Completeness and independence results
پدیدآورنده : Streicher, Thomas, 8591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Functional programming )Computer science(,، Type theory
رده :
QA
76
.
7
.
S85


92. Semantics of type theory : correctness, completeness, and independence results
پدیدآورنده : Thomas Streicher,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Programming languages )Electronic computers( - Semantics,Functional programming )Computer science(,Type theory
رده :
QA
.
S82
76
.
7
1991


93. Source Code Analytics With Roslyn and JavaScript Data Visualization /
پدیدآورنده : Sudipta Mukherjee ; foreword by Darius Blasband
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programming.,Computer science.,Programming languages (Electronic computers),Software engineering.,Source code (Computer science),Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Software Engineering.
رده :
QA76
.
754
.
M85
2016


94. Spiele effektiv programmieren
پدیدآورنده : Uwe Kettermann, Andreas Rohde.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Programming languages (Electronic computers),Software engineering.

95. Swift 3 for Absolute Beginners
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Application software-- Development.,Computer programming.,Computer science.,Programming languages (Electronic computers),Swift (Computer program language),Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.
رده :
QA76
.
73
.
S95


96. Ten years of concurrency semantics : selected papers of the Amsterdam Concurrency Group
پدیدآورنده : editors, J.W. de Bakker and J.J.M.M. Rutten
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Parallel programming )Computer science( - Congresses , Programming languages )Electronic computers( - Semantics - Congresses
رده :
QA
76
.
642
.
T45
1992


97. The Logic of Partial Information
پدیدآورنده : by Areski Nait Abdallah.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.
رده :
QA76
.
7
B937
1995


98. Theoretical aspects of object-oriented programming : types, semantics, and language design
پدیدآورنده : edited by Carl A. Gunter and John C. Mitchell
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Object-oriented programming )Computer science(,، Programming languages )Electronic computers(
رده :
QA
76
.
64
.
T4


99. Thinking in LINQ :
پدیدآورنده : Sudipta Mukherjee
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Programming languages (Electronic computers),Query languages (Computer science)
رده :
QA76
.
7


100. Trees in Algebra and Programming - CAAP '96 :
پدیدآورنده : edited by Hélène Kirchner.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programming.,Computer science.,Programming languages (Electronic computers)
رده :
QA166
.
2
E358
1996

